#mbt #test 

[Ссылка](http://mit.bme.hu/~micskeiz/pages/modelbased_testing.html)